8446 search results - page 1292 / 1690 » A Process Compensation Language |
174
click to vote
EDUTAINMENT
2007
Springer
16 years 29 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...
192
click to vote
ESTIMEDIA
2007
Springer
16 years 29 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...
158
click to vote
EUROPKI
2007
Springer
16 years 29 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...
148
click to vote
ICALP
2007
Springer
16 years 29 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...
146
click to vote
ICALP
2007
Springer
16 years 29 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...