7112 search results - page 1328 / 1423 » Power in normative systems |
147
click to vote
WIDM
2004
ACM
15 years 10 months ago
2004
ACM
The use of relational database management systems (RDBMSs) to store and query XML data has attracted considerable interest with a view to leveraging their powerful and reliable da...
161
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
127
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
159
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
155
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...