6201 search results - page 1110 / 1241 » Implementation of Axiomatic Language |
166
Voted
TWEB
2010
15 years 3 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
153
click to vote
VIROLOGY
2010
15 years 3 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...
149
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
137
click to vote
APWEB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper provides a simple but effective approach, named ECON, to fully-automatically extract content from Web news page. ECON uses a DOM tree to represent the Web news...
151
click to vote
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...