Sciweavers

1065 search results - page 54 / 213
» Towards a Meaning of LIFE
Sort
View
POPL
2003
ACM
15 years 11 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
15 years 5 months ago
Toward a multi-disciplinary model for bio-robotic systems
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
Richard Primerano, David Wilkie, William Regli
FUZZIEEE
2007
IEEE
15 years 5 months ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
HICSS
2007
IEEE
121views Biometrics» more  HICSS 2007»
15 years 5 months ago
Towards Co-Design of Business Processes and Information Systems Using Web Services
A variety of forces are constantly transforming enterprises, thus, requiring them to constantly adapt to changing business environment. This emergent state requires enterprises to...
Karthikeyan Umapathy
ICIW
2007
IEEE
15 years 5 months ago
Towards a Framework for Dynamic Verification of Peer-to-Peer Systems
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...
Theofrastos Koulouris, George Spanoudakis, Theocha...