Sciweavers

3911 search results - page 605 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
155
Voted
AAAI
2006
15 years 7 months ago
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
Cécile Aberg, Johan Aberg, Patrick Lambrix,...
238
Voted
FAABS
2004
Springer
15 years 11 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
ARGMAS
2004
Springer
15 years 10 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed
IJDST
2011
117views more  IJDST 2011»
14 years 10 months ago
Integrating Production Automation Expert Knowledge Across Engineering Domains
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...
192
Voted
ANCS
2005
ACM
15 years 12 months ago
Segmented hash: an efficient hash table implementation for high performance networking subsystems
Hash tables provide efficient table implementations, achieving O(1), query, insert and delete operations at low loads. However, at moderate or high loads collisions are quite freq...
Sailesh Kumar, Patrick Crowley