2111 search results - page 119 / 423 » How to Program Pervasive Systems |
119
Voted
ENTCS
2008
15 years 23 days ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
107
click to vote
IJCAI
1989
15 years 1 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
140
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
NIPS
1993
15 years 2 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
89
Voted
ACL
1992
15 years 1 months ago
1992
We have recently reported on two new word-sense disambiguation systems, one trained on bilingual material (the Canadian Hansards) and the other trained on monolingual material (Ro...