229 search results - page 20 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
158
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
141
Voted
ICCD
2005
IEEE
16 years 19 days ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
119
Voted
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
122
click to vote
AAAI
1990
15 years 4 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
149
click to vote
ACL
1989
15 years 4 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...