Sciweavers

3718 search results - page 215 / 744
» IMPS: System Description
Sort
View
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
CN
2007
64views more  CN 2007»
15 years 6 months ago
A taxonomy for identifying requirement interactions in software systems
This paper presents an interaction taxonomy for classifying and identifying requirement interactions in software systems. The proposed taxonomy is in the form of a four-layered py...
Mohamed Shehata, Armin Eberlein, Abraham O. Fapoju...
JUCS
2006
117views more  JUCS 2006»
15 years 6 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
SIGCSE
2008
ACM
144views Education» more  SIGCSE 2008»
15 years 6 months ago
Geographic information systems: real world applications for computer science
: This paper discusses the development and delivery of an upper level computer science elective course in geographic information systems (GIS). GIS applications span numerous and d...
Wendy Zhang, Theresa Beaubouef
AIR
2005
122views more  AIR 2005»
15 years 6 months ago
Retrieval Failure and Recovery in Recommender Systems
In case-based reasoning (CBR) approaches to product recommendation, descriptions of the available products are stored in a case library and retrieved in response to a query represe...
David McSherry