10038 search results - page 612 / 2008 » Model Checking for Managers |
226
click to vote
WETICE
1996
IEEE
15 years 11 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
181
click to vote
VIP
2001
15 years 8 months ago
2001
Non-linear interactive access to video is very important in video information management. The term non-linear refers to that there are more than one video streams delivering to us...
203
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
This paper presents a semantic portal, SEMPort, which provides better user support with personalized views, semantic navigation, ontology-based search and three different kinds of...
192
click to vote
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
216
Voted
CNSR
2008
IEEE
16 years 1 months ago
2008
IEEE
Key establishment plays a central role in authentication and encryption in wireless sensor networks, especially when they are mainly deployed in hostile environments. Because of t...