721 search results - page 49 / 145 » A Living System Must Have Noncomputable Models |
90
Voted
JLP
2008
15 years 16 days ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
126
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
104
click to vote
FTCS
1998
15 years 1 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
139
click to vote
ECUMN
2004
Springer
15 years 4 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
120
click to vote
COMPSAC
1995
IEEE
15 years 4 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...