Sciweavers

875 search results - page 36 / 175
» Representing distributed systems using the Open Provenance M...
Sort
View
ICWE
2011
Springer
14 years 1 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
14 years 8 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
SIMPRA
2008
125views more  SIMPRA 2008»
14 years 9 months ago
Identification of Wiener models using optimal local linear models
The Wiener model is a versatile nonlinear block oriented model structure for miscellaneous applications. In this paper a method for identifying the parameters of such a model usin...
Martin Kozek, Sabina Sinanovic
RTSS
1996
IEEE
15 years 1 months ago
Commit processing in distributed real-time database systems
W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadli...
Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritha...
LICS
2012
IEEE
13 years 3 days ago
A Higher-Order Distributed Calculus with Name Creation
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
Adrien Piérard, Eijiro Sumii