Sciweavers

1619 search results - page 197 / 324
» Important Moments in Systems and Control
Sort
View
FM
2009
Springer
123views Formal Methods» more  FM 2009»
14 years 3 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
ACMDIS
2006
ACM
14 years 3 months ago
DJs' perspectives on interaction and awareness in nightclubs
Several researchers have recently proposed technology for crowd-and-DJ interactions in nightclub environments. However, these attempts have not always met with success. In order t...
Carrie Gates, Sriram Subramanian, Carl Gutwin
IPPS
2005
IEEE
14 years 2 months ago
Connection-less TCP
TCP is an important protocol in high-performance computing. It is used extensively in graphics programs and file systems and it is often the protocol used for the cluster control...
Patricia Gilfeather, Arthur B. Maccabe
RIDE
1999
IEEE
14 years 1 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
WSC
2007
13 years 11 months ago
Building composable bridges between the conceptual space and the implementation space
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
Paul Gustavson, Tram Chase