1605 search results - page 117 / 321 » An XML implementation process model for enterprise applicati... |
185
click to vote
ERSHOV
2009
Springer
15 years 3 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
200
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
152
click to vote
ASSETS
2006
ACM
15 years 12 months ago
2006
ACM
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
193
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
156
click to vote
CASCON
2006
15 years 7 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...