1136 search results - page 139 / 228 » A Prototype of an Active Form System |
FM
2009
Springer
14 years 2 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
ISPAN
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present a general methodology for designing supervised peer-to-peer systems. A supervised peer-to-peer system is a system in which the overlay network is formed b...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
ICEIS
2000
IEEE
14 years 18 days ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...