5130 search results - page 753 / 1026 » Constraint Query Languages |
188
click to vote
STTT
2010
15 years 1 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
206
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
220
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
211
click to vote
SIGCSE
2005
ACM
16 years 18 days ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
185
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...