876 search results - page 12 / 176 » The next step - open prototyping |
68
Voted
CONCURRENCY
2010
14 years 9 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
SKG
2005
IEEE
15 years 3 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
62
Voted
AI
2005
Springer
15 years 3 months ago
2005
Springer
Privacy is one of the main societal concerns raised by critics of the uncontrolled growth and spread of information technology in developed societies. The purpose of this paper is ...
57
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Virtual Corporations as well as traditional companies need a planning and control system in order to guarantee the organization’s competitiveness in markets. This paper outlines...
CODES
1998
IEEE
15 years 1 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...