122 search results - page 10 / 25 » The Creation of a New Minor Event Coding System |
HICSS
2003
IEEE
14 years 26 days ago
2003
IEEE
For many years mobile visitor information systems for museums or exhibitions are a topic of research. Research prototypes aim to provide the user with powerful means for organizin...
GECCO
2004
Springer
14 years 29 days ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...
USENIX
2008
13 years 10 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...
IFM
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...