4377 search results - page 708 / 876 » Application Driven Software Development |
112
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
105
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
118
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
109
click to vote
EMNETS
2007
15 years 5 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
130
click to vote
EUROMICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...