1106 search results - page 215 / 222 » Software That Can Think and Do |
RULEML
2005
Springer
14 years 5 days ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
EMSOFT
2004
Springer
14 years 3 days ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
ERCIMDL
2004
Springer
14 years 3 days ago
2004
Springer
Because of recent advances in graphics hard- and software, both the production and use of 3D models are increasing at a rapid pace. As a result, a large number of 3D models have be...
FSTTCS
2004
Springer
14 years 3 days ago
2004
Springer
When studying a 3D polyhedron, it is often easier to cut it open and
atten in on the plane. There are several ways to perform this unfolding. Standard unfoldings which have been u...
SPIN
2004
Springer
14 years 1 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...