10038 search results - page 257 / 2008 » Model Checking for Managers |
158
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
269
click to vote
CII
2006
15 years 5 months ago
2006
The importance of product information management during the whole lifetime of the product has increased due to the technical sophistication of products as well as stricter governm...
161
Voted
ACISP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. RFID tags are tiny, inexpensive, inductively powered computers that are going to replace bar codes on many products, but which have many other uses as well. For example, ...
174
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper is aimed at the stipulations which arise in the traditional online auctions as a result of various anomalies in the reputation and trust calculation mechanism. We try t...
130
click to vote
IEAAIE
2009
Springer
16 years 3 days ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...