2282 search results - page 324 / 457 » Active property checking |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Our goal is to save energy in wireless sensor networks (WSNs) by periodic duty-cycling of sensor nodes. We schedule sensor nodes between active (transmit or receive) and sleep mod...
ECOWS
2007
Springer
14 years 4 months ago
2007
Springer
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX famil...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
: This paper proposes the new innovated 4-legged Locomotion mechanism with pantograph-jack structure as its leg. This study aims at developing the practical robotic system, especia...
ELPUB
2006
ACM
14 years 4 months ago
2006
ACM
The paper presents in brief a methodology for development of tools for knowledge-based search in repositories of digitized manuscripts. It is designated to assist the search activ...