3395 search results - page 132 / 679 » Designs, Disputes and Strategies |
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
201
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native XML database management systems currently bear limited p...
143
click to vote
AROBOTS
2006
15 years 6 months ago
2006
Most current mobile robots are designed to determine their actions according to their positions. Before making a decision, they need to localize themselves. Thus, their observation...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
153
click to vote
DSS
2007
15 years 6 months ago
2007
Since the early 1970s, decision support systems (DSS) have evolved significantly. In this paper, the design and implementation of MSMiner, a developing platform for DSS, is introd...