Sciweavers

7209 search results - page 491 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
119
Voted
BEHAVIOURIT
2010
15 years 1 months ago
Individual attitude toward improvisation in information systems development
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...
Massimo Magni, B. Provera, Luigi Proserpio
143
Voted
ASWEC
2007
IEEE
15 years 10 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
136
Voted
TASE
2007
IEEE
15 years 10 months ago
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
Franck Cassez, Stavros Tripakis, Karine Altisen
126
Voted
EMSOFT
2007
Springer
15 years 9 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
128
Voted
TMRA
2007
Springer
15 years 9 months ago
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...
Roy Lachica, Dino Karabeg