1580 search results - page 254 / 316 » CoTeSys - Cognition for Technical Systems |
154
click to vote
JITECH
2007
15 years 6 months ago
2007
This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from t...
189
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
197
click to vote
WINET
2010
15 years 1 months ago
2010
With the technical advances in ubiquitous computing and wireless networking, there has been an increasing need to capture the context information (such as the location) and to figu...
158
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
126
click to vote
IJCIM
2000
15 years 6 months ago
2000
The National Electronics Manufacturing Initiative's (NEMI) plug and play Factory Project addressed the issues of how to quickly integrate new pieces of electronics assembly eq...