3844 search results - page 171 / 769 » Modular interpreted systems |
113
Voted
TPPP
1994
15 years 7 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
116
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
121
Voted
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
108
Voted
LREC
2008
15 years 5 months ago
2008
This paper presents a series of tools for the extraction of specialized corpora from the web and its subsequent analysis mainly with statistical techniques. It is an integrated sy...
108
click to vote
FAC
2006
15 years 3 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...