1597 search results - page 229 / 320 » A Design Method for Object-Oriented Programming |
175
click to vote
IFM
2007
Springer
16 years 13 days 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...
167
click to vote
IPSN
2007
Springer
16 years 13 days 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...
177
click to vote
CIG
2005
IEEE
15 years 12 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...
214
click to vote
ICDAR
2005
IEEE
15 years 12 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...
152
click to vote
ATAL
2005
Springer
15 years 11 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...