2004 search results - page 283 / 401 » Comparison of Model Checking Tools for Information Systems |
158
click to vote
IFIP12
2009
15 years 2 months ago
2009
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...
148
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
158
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
132
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
137
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...