8446 search results - page 383 / 1690 » A Process Compensation Language |
164
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
180
click to vote
GPCE
2007
Springer
16 years 29 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
183
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
XML has become the standard platform for structured data exchange on the Web. Next concern of Semantic Web is the exchange of rules in markup language form. The rules should be re...
189
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
189
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...