Sciweavers

7117 search results - page 1376 / 1424
» IT Governance Frameworks as Methods
Sort
View
SRDS
1999
IEEE
15 years 3 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
FMLDO
1999
Springer
137views Database» more  FMLDO 1999»
15 years 3 months ago
Federated Transaction Management with Snapshot Isolation
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
Ralf Schenkel, Gerhard Weikum, Norbert Weiße...
AUSAI
1998
Springer
15 years 3 months ago
A Formal Embedding of AgentSpeak(L) in 3APL
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
Koen V. Hindriks, Frank S. de Boer, Wiebe van der ...
SIGGRAPH
1998
ACM
15 years 3 months ago
Painterly Rendering with Curved Brush Strokes of Multiple Sizes
We present a new method for creating an image with a handpainted appearance from a photograph, and a new approach to designing styles of illustration. We “paint” an image with...
Aaron Hertzmann
WOSP
1998
ACM
15 years 3 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
« Prev « First page 1376 / 1424 Last » Next »