708 search results - page 84 / 142 » Computational Law |
105
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
107
click to vote
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
ASSETS
2006
ACM
15 years 5 months ago
2006
ACM
Mouse control has become a crucial aspect of many modern day computer interactions. This poses a challenge for individuals with motor impairments or those whose use of hands are r...
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...