3719 search results - page 216 / 744 » RACER System Description |
168
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
131
click to vote
ENTCS
2008
15 years 6 months ago
2008
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...
160
click to vote
CN
2007
15 years 6 months ago
2007
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...
162
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
212
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
: 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...