513 search results - page 22 / 103 » An Aspect-Oriented Approach for Mobile Embedded Software Mod... |
BIS
2008
13 years 10 months ago
2008
Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...