Sciweavers

2701 search results - page 159 / 541
» On the form of witness terms
Sort
View
AOSE
2001
Springer
15 years 11 months ago
Modeling Early Requirements in Tropos: A Transformation Based Approach
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
ATAL
2001
Springer
15 years 11 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
JAVA
2001
Springer
15 years 11 months ago
Impact of economics on compiler optimization
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers. Hard economic reality is that many interesting opti...
Arch D. Robison
DEXAW
2000
IEEE
137views Database» more  DEXAW 2000»
15 years 11 months ago
A Holonic Component-Based Approach to Reconfigurable Manufacturing Control Architecture
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...
Jin-Lung Chirn, Duncan C. McFarlane
HICSS
2000
IEEE
149views Biometrics» more  HICSS 2000»
15 years 11 months ago
CMC and the Question of Democratisation: A University Field Study
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...
Dubravka Cecez-Kecmanovic, Lesley Treleaven, Debra...