Sciweavers

1917 search results - page 1 / 384
» The York Abstract Machine
Sort
View
ENTCS
2008
129views more  ENTCS 2008»
13 years 10 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
ICMLA
2009
13 years 8 months ago
Ranking Electrical Feeders of the New York Power Grid
components of a system by susceptibility to failure. In this extended abstract, we present an ongoing project to rank the underground primary feeders of Consolidated Edison Company...
Philip Gross, Ansaf Salleb-Aouissi, Haimonti Dutta...
ESWS
2008
Springer
14 years 16 days ago
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
Dumitru Roman, Michael Kifer, Dieter Fensel
VRST
2003
ACM
14 years 4 months ago
Perceptive agents and systems in virtual reality
d Abstract] Demetri Terzopoulos New York University, Media Research Lab 719 Broadway, 12th Floor New York, NY 10003, USA www.mrl.nyu.edu/∼dt
Demetri Terzopoulos
IJFCS
2007
98views more  IJFCS 2007»
13 years 10 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck