Sciweavers

467 search results - page 38 / 94
» Designer Definites in Logical Form
Sort
View
138
Voted
CLIMA
2004
15 years 5 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
130
Voted
FOIKS
2006
Springer
15 years 7 months ago
Modeling the Evolution of Objects in Temporal Information Systems
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
Alessandro Artale, Christine Parent, Stefano Spacc...
157
Voted
IWPSE
2003
IEEE
15 years 9 months ago
CVS Release History Data for Detecting Logical Couplings
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
Harald Gall, Mehdi Jazayeri, Jacek Krajewski
117
Voted
HICSS
2007
IEEE
110views Biometrics» more  HICSS 2007»
15 years 10 months ago
The Future of Work: What Does Online Community Have to Do with It?
Amidst constant innovation in information and communication technologies, a new pattern of work is emerging. Hierarchical authority structures are giving way to greater decision-m...
Dejin Zhao, Mary Beth Rosson, Sandeep Purao
146
Voted
SG
2005
Springer
15 years 9 months ago
Multi-level Interaction in Parametric Design
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
Robert Aish, Robert Woodbury