6607 search results - page 124 / 1322 » Making TeX Work |
137
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
130
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
187
click to vote
HASE
1996
IEEE
15 years 10 months ago
1996
IEEE
Mobile computing allows ubiquitous and continuousaccess to computing resources while the users travel or work at a client's site. The flexibility introduced by mobile computi...
150
click to vote
KR
1989
Springer
15 years 10 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
160
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...