2009 | ||
---|---|---|
57 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Advertising and Discovering Trusted Resources within a P2P-Based Architecture. ICALT 2009: 109-111 | |
56 | Vincenza Carchiolo, Antonio Lima, Giuseppe Mangioni: Resource advertising in PROSA P2P network. IPDPS 2009: 1-7 | |
55 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Search for overlapped communities by parallel genetic algorithms CoRR abs/0912.0913: (2009) | |
2008 | ||
54 | Costin Badica, Giuseppe Mangioni, Vincenza Carchiolo, Dumitru Dan Burdescu: Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing - IDC 2008, Catania, Italy, 2008 Springer 2008 | |
53 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Trusting Evaluation by Social Reputation. IDC 2008: 75-84 | |
52 | Vincenza Carchiolo, Alessandro Longheu, Giuseppe Mangioni, Vincenzo Nicosia: Adaptive E-Learning: An Architecture Based on PROSAP2P Network. IEA/AIE 2008: 777-786 | |
51 | Vincenza Carchiolo, D. Correnti, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Reliable Personalized Learning Paths: The Contribution of Trust to E-Learning. WSKS (2) 2008: 221-228 | |
50 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Emerging structures of P2P networks induced by social relationships. Computer Communications 31(3): 620-628 (2008) | |
2007 | ||
49 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: An Approach to Trust Based on Social Networks. WISE 2007: 50-61 | |
48 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation CoRR abs/cs/0702085: (2007) | |
47 | Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri: Efficient Searching and Retrieval of Documents in PROSA CoRR abs/cs/0702126: (2007) | |
46 | Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri: Exploiting social networks dynamics for P2P resource organisation CoRR abs/cs/0702127: (2007) | |
45 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: A model for a web-based learning system. Information Systems Frontiers 9(2-3): 267-282 (2007) | |
44 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Fast Information Retrieval in a Self-Organising P2P Network. JCP 2(5): 75-81 (2007) | |
2006 | ||
43 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Efficient Searching and Retrieval of Documents in PROSA. DBISP2P 2006: 298-309 | |
42 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Exploiting Social Networks Dynamics for P2P Resource Organisation. ISCIS 2006: 726-734 | |
41 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Evaluating the Dynamic Behaviour of PROSA P2P Network. ISPA 2006: 904-915 | |
40 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Self-Organisation of Resources in PROSA P2P Network. SelfMan 2006: 171-174 | |
39 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Social Behaviours in P2P Systems: An Efficient Algorithm for Resource Organisation. WETICE 2006: 65-72 | |
2005 | ||
38 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Production workflows: a model for reuse. ETFA 2005 | |
37 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Information categorization in web pages and sites. Web Intelligence and Agent Systems 3(3): 183-198 (2005) | |
2004 | ||
36 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Using Web-Based Personalized Learning System in Academic Context. CIT 2004: 328-332 | |
2003 | ||
35 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Hidden Schema Extraction in Web Documents. DNIS 2003: 42-52 | |
34 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Courses Personalization in an E-Learning Environment. ICALT 2003: 252-253 | |
33 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Using Lotos in Workflow Specification. ICEIS (3) 2003: 364-369 | |
32 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: From Specification to Hardware Device: A Synthesis Algorithm. ICFEM 2003: 665-681 | |
31 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. IEEE International Workshop on Rapid System Prototyping 2003: 86-92 | |
30 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Courses Modeling in E-learning Context. ISCIS 2003: 19-26 | |
29 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Improving WEB Usability by Categorizing Information. Web Intelligence 2003: 146-152 | |
28 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extracting Logical Schema from the Web. Appl. Intell. 18(3): 341-355 (2003) | |
27 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: TTL: a modular language for hardware/software systems design. J. Comput. Syst. Sci. 66(2): 293-315 (2003) | |
26 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: A Tool for Performance Evaluation in a Formal Codesign Framework. Simulation 79(9): 494-514 (2003) | |
2002 | ||
25 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Structuring the Web: a Logical Schema for Web pages and Sites. DIWeb 2002: 103-113 | |
24 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extraction of Hidden Semantics from Web Pages. IDEAL 2002: 117-122 | |
23 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Schema and Data Integration for Relational and Object-Oriented Data Sources. JCIS 2002: 240-244 | |
22 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Adaptive Formative Paths in a Web-based Learning Environment. Educational Technology & Society 5(4): (2002) | |
2001 | ||
21 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Learning through Ad-hoc Formative Paths. ICALT 2001: 96-102 | |
20 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: An Object-Oriented Workflow Metamodel. OOIS 2001: 81-90 | |
2000 | ||
19 | Vincenza Carchiolo, S. D'ambra, Alessandro Longheu, Michele Malgeri: Issues in object orienting the ST Microelectronics manufacturing model. APSEC 2000: 325-329 | |
18 | Vincenza Carchiolo, S. D'ambra, Alessandro Longheu, Michele Malgeri: Re-Engineering the STMicroelectronics Manufacturing Model. CSMR 2000: 231-234 | |
17 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Structuring the Web. DEXA Workshop 2000: 1123-1127 | |
16 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Using a Formal Framework for Agent System Design. FAABS 2000: 308-317 | |
15 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Implementing a Distributed Server Using Mobile Agent Technology. ISCC 2000: 630-634 | |
14 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extracting Logical Schema from the Web. PRICAI Workshop on Text and Web Mining 2000: 64-71 | |
13 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Hardware/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Design Autom. Electr. Syst. 5(3): 399-432 (2000) | |
1997 | ||
12 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Approach to the Synthesis of HW and SW in Codesign. CODES 1997: 173- | |
11 | Vincenza Carchiolo, Michele Malgeri: An Adaptive Scheduler for Multimedia Systems. FTDCS 1997: 324-329 | |
1995 | ||
10 | Vincenza Carchiolo, Michele Malgeri: A fuzzy approach to co-design system partitioning. SAC 1995: 514-518 | |
1990 | ||
9 | Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: Case study in protocol verification. Comput. Syst. Sci. Eng. 5(3): 178-186 (1990) | |
1989 | ||
8 | Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. ACM Trans. Program. Lang. Syst. 11(2): 284-329 (1989) | |
1988 | ||
7 | Vincenza Carchiolo, Alberto Faro: BIP system: A tool for protocol verification. ICCC 1988: 191-198 | |
6 | Vincenza Carchiolo, Alberto Faro, Michele Malgeri: A Tool for the Performance Analysis of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 121-139 | |
5 | Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: Behavioural approach to OSI system design. Computer Communications 11(6): 291-298 (1988) | |
1986 | ||
4 | Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo: A LOTOS Specification of the PROWAY Highway Service. IEEE Trans. Computers 35(11): 949-968 (1986) | |
1984 | ||
3 | Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo: Modelling and Specifying a Presentation Protocol by Temporal Ordering. PSTV 1984: 423-440 | |
2 | Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo: Some Topics in the Design of the Specification Language Lotos. Symposium on Programming 1984: 47-58 | |
1 | Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo: A temporal ordering specification of some session services. Computer Communication Review 14(2): 107-114 (1984) |