3828 search results - page 71 / 766 » Proof-Based System Engineering Using a Virtual System Model |
141
click to vote
SIGOPS
2008
15 years 2 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
111
click to vote
ECIS
2001
15 years 3 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
130
click to vote
ICWE
2011
Springer
14 years 6 months ago
2011
Springer
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
CERA
2004
15 years 2 months ago
2004
: Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in produ...
114
click to vote
ISMIR
2000
Springer
15 years 6 months ago
2000
Springer
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...