MA
1999
Springer
13 years 9 months ago
1999
Springer
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
RP
2009
Springer
13 years 9 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
MOZ
2004
Springer
13 years 10 months ago
2004
Springer
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
SC
2005
ACM
13 years 10 months ago
2005
ACM
ng Abstractions from Resources in a Tactical Storage System Douglas Thain† , Sander Klous∗ , Justin Wozniak† , Paul Brenner† , Aaron Striegel† , Jesus Izaguirre† † - ...