Sciweavers

Share
79 search results - page 2 / 16
» se 2010
Sort
View
IJAOSE
2010
183views more  IJAOSE 2010»
9 years 5 months ago
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Scott A. DeLoach, Juan C. García-Ojeda
ESWS
2010
Springer
10 years 23 days ago
iSeM: Approximated Reasoning for Adaptive Hybrid Selection of Semantic Services
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
Matthias Klusch, Patrick Kapahnke
IJMI
2010
212views more  IJMI 2010»
9 years 6 months ago
Integrating the SE and HCI models in the human factors engineering cycle for re-engineering Computerized Physician Order Entry s
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
Stéphanie Bernonville, Christophe Kolski, N...
CACM
2010
120views more  CACM 2010»
9 years 8 months ago
seL4: formal verification of an operating-system kernel
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
Gerwin Klein, June Andronick, Kevin Elphinstone, G...
books