8446 search results - page 1292 / 1690 » A Process Compensation Language |
162
Voted
EDUTAINMENT
2007
Springer
16 years 9 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
164
click to vote
ESTIMEDIA
2007
Springer
16 years 8 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
142
click to vote
EUROPKI
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
138
click to vote
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
131
Voted
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...