15784 search results - page 2879 / 3157 » Mega Software Engineering |
196
click to vote
ATVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
185
click to vote
MIDDLEWARE
2005
Springer
16 years 4 days ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
219
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
164
Voted
UML
2005
Springer
16 years 3 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
206
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...