1777 search results - page 287 / 356 » Programming Cryptographic Protocols |
153
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
130
Voted
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper addresses the problem of managing a wireless sensor network with mobile managers. The mobile managers should be able to create their connectivity to the nodes they m...
134
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
154
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
133
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...