2282 search results - page 324 / 457 » Active property checking |
133
click to vote
IPPS
2007
IEEE
15 years 11 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...
133
Voted
ECOWS
2007
Springer
15 years 10 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...
125
Voted
MODELS
2007
Springer
15 years 10 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....
123
click to vote
IROS
2006
IEEE
15 years 10 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...
121
click to vote
ELPUB
2006
ACM
15 years 10 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...