2243 search results - page 364 / 449 » Contracts for Mobile Processes |
166
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
148
click to vote
AVSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Over the last decade, there has been an increasing interest in developing vision systems and technologies that support the operation of unmanned platforms for positioning, mapping...
177
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Emerging applications using miniature electronic devices (e.g., tracking mobile objects using sensors) generate very large amounts of highly dynamic data that poses very high overh...
160
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
173
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...