169 search results - page 11 / 34 » A Composite Spectral Model and Its Applications |
SAC
2000
ACM
14 years 1 days ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
HYBRID
2010
Springer
14 years 24 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ASE
1999
13 years 7 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
COORDINATION
2007
Springer
14 years 1 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...