2771 search results - page 345 / 555 » Advances in Document Engineering |
168
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
199
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
178
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
199
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
206
click to vote
ITP
2010
15 years 8 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...