3021 search results - page 543 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
156
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
127
Voted
AMC
2007
15 years 3 months ago
2007
Many scientific and engineering applications require optimization methods to find more than one solution to multimodal optimization problems. This paper presents a new particle ...
206
Voted
COMCOM
2006
15 years 3 months ago
2006
The pervasiveness and operational autonomy of mesh-based wireless sensor networks (WSNs) make them an ideal candidate in offering sustained monitoring functions at reasonable cost...
130
Voted
IJWIS
2008
15 years 3 months ago
2008
Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
143
Voted
IJSNET
2006
15 years 3 months ago
2006
: To extend the functional lifetime of battery-operated Wireless Sensor Networks (WSNs), stringent sleep scheduling strategies with communication duty cycles running at sub-1% rang...