3868 search results - page 211 / 774 » Open Systems in TLA |
191
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The advent of mobile phones and the Internet opened the doors for an emerging class of applications that connect mobile users to online resources and information services availabl...
200
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Today’s cluster and grid environments demand the usage of product-specific APIs and tools for developing distributed applications. We give an overview of the Distributed Resour...
186
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
218
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
188
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...