5630 search results - page 88 / 1126 » Computability in Specification |
138
click to vote
ASC
2008
15 years 4 months ago
2008
Morphic Computing is based on Field Theory [14-16] and more specifically Morphic Fields. Morphic Fields were first introduced by [18] from his hypothesis of formative causation tha...
168
click to vote
CN
2004
15 years 3 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
119
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe imprecise calendars, a way to organize and schedule clusters of nodes in a computation grid. Imprecise calendars permit the easy and efficient sharing of resources bet...
124
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
116
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Emotion is a topic of growing interest in the HCI community. Studying emotion within the HCI discipline is an exciting interdisciplinary task. This can be facilitated by the excha...