1597 search results - page 229 / 320 » A Design Method for Object-Oriented Programming |
133
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
127
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Mobile phones have two sensors: a camera and a microphone. The widespread and ubiquitous nature of mobile phones around the world makes it attractive to build a large-scale sensor...
141
Voted
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...
173
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
114
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...