Sciweavers

1169 search results - page 154 / 234
» Migration without Virtualization
Sort
View
POPL
1997
ACM
15 years 6 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
DEON
2010
Springer
15 years 5 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
CAISE
2008
Springer
15 years 5 months ago
A Work Allocation Language with Soft Constraints
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
Christian Stefansen, Sriram K. Rajamani, Parameswa...
BILDMED
2007
272views Algorithms» more  BILDMED 2007»
15 years 4 months ago
Comprehensive Architecture for Simulation of the Human Body Based on Functional Anatomy
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
Sebastian Ullrich, Jakob Valvoda, Andreas Prescher...
GRAPHICSINTERFACE
2008
15 years 4 months ago
Semantic pointing for object picking in complex 3D environments
Today's large and high-resolution displays coupled with powerful graphics hardware offer the potential for highly realistic 3D virtual environments, but also cause increased ...
Niklas Elmqvist, Jean-Daniel Fekete