15777 search results - page 2634 / 3156 » Software Engineering |
199
click to vote
ICSOC
2004
Springer
16 years 10 days ago
2004
Springer
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...
154
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
176
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
170
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
189
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...