5085 search results - page 775 / 1017 » Multidimensional Design by Examples |
194
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The paper describes functionality of Magenta Multi-Agent Logistics i-Scheduler Engine presented on AAMAS 2006 conferences and gives examples of its application in business domain....
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
197
Voted
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
182
click to vote
DLS
2007
15 years 10 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
146
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
Since the advent of XML, the ability to transform documents using transformation languages such as XSLT has become an important challenge. However, writing a transformation script...