2836 search results - page 553 / 568 » Model Checking for Software Architectures |
131
Voted
WOSS
2004
ACM
15 years 8 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
161
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
152
Voted
EAGC
2003
Springer
15 years 8 months ago
2003
Springer
Application layer networks are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual compute...
215
Voted
TAPIA
2009
ACM
15 years 7 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
109
Voted
TIC
1998
Springer
15 years 7 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...