5180 search results - page 700 / 1036 » Requirements Engineering |
217
click to vote
AADEBUG
2005
Springer
16 years 9 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
176
click to vote
DRM
2005
Springer
16 years 9 days ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
199
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
176
click to vote
GCB
2004
Springer
16 years 4 days ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
207
click to vote
AOSD
2003
ACM
16 years 15 hour ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...