Sciweavers

4360 search results - page 578 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
CEEMAS
2005
Springer
16 years 8 days ago
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
Ambra Molesini, Enrico Denti, Andrea Omicini
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Interface Automata with Complex Actions
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. ...
SMC
2010
IEEE
159views Control Systems» more  SMC 2010»
15 years 5 months ago
Mobile interaction with smart environments through linked data
This paper presents the design and architecture of an integrated environment that provides location independent and mobile access to Intelligent Domotic Environments. The envision...
Faisal Razzak, Dario Bonino, Fulvio Corno
INTERACT
2003
15 years 8 months ago
FMS - Flying Message Service: The Comeback of Carrier Pigeons
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
Magnus Nilsson, Magnus Johansson, Linda Sjödi...
AAAI
2010
15 years 8 months ago
How Incomplete Is Your Semantic Web Reasoner?
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...