Sciweavers

13618 search results - page 164 / 2724
» The Newton Operating System
Sort
View
SIGGRAPH
2010
ACM
15 years 11 months ago
Apparent layer operations for the manipulation of deformable objects
We introduce layer operations for single-view 3D deformable object manipulation, in which the user can control the depth order of layered 3D objects resting on a flat ground with...
Takeo Igarashi, Jun Mitani
ADAEUROPE
2008
Springer
16 years 26 days ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
IANDC
1998
106views more  IANDC 1998»
15 years 6 months ago
A Conservative Look at Operational Semantics with Variable Binding
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
Wan Fokkink, Chris Verhoef
BIS
2009
121views Business» more  BIS 2009»
15 years 4 months ago
In Quest of ICT Value through Integrated Operations: Assessment of Organisational - Technological Capabilities
Abstract. Knowledge based systems improve information interoperability, integration, and knowledge management. Consequently, there is envisioned a set of the associated business be...
Darijus Strasunskas, Asgeir Tomasgard
ATAL
2005
Springer
16 years 1 days ago
An agent-based approach for managing symbiotic simulation of semiconductor assembly and test operation
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
Malcolm Yoke-Hean Low, Kong Wei Lye, Peter Lenderm...