Sciweavers

2002 search results - page 127 / 401
» Designing Organizations: Towards a Model
Sort
View
CAV
2009
Springer
176views Hardware» more  CAV 2009»
14 years 11 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
POPL
2003
ACM
14 years 11 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
IEEESCC
2010
IEEE
14 years 2 months ago
Towards Self-Aware Performance and Resource Management in Modern Service-Oriented Systems
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...
Samuel Kounev, Fabian Brosig, Nikolaus Huber, Ralf...
WSC
1998
14 years 4 days ago
Toward Increased Use of Simulation in Transportation
The validity and usefulness of system simulation has been well-established for decades in areas such as computer and communications systems, general manufacturing systems, and mil...
Daniel T. Brunner, Gary Cross, Catherine McGhee, J...
ER
2004
Springer
79views Database» more  ER 2004»
14 years 4 months ago
Towards the Managment of Time in Data-Intensive Web Sites
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
Paolo Atzeni, Pierluigi Del Nostro