1156 search results - page 16 / 232 » The PENG System: Practice and Experience |
ERCIMDL
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
IWEC
2010
15 years 12 days ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...