315 search results - page 44 / 63 » A formal approach to software components classification and ... |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
SAC
2009
ACM
14 years 14 days ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
Modern mobile phones can store a large amount of data, such as contacts, applications and music. However, it is difficult to access specific data items via existing mobile user in...