6607 search results - page 124 / 1322 » Making TeX Work |
ECBS
2000
IEEE
15 years 7 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...
TOOLS
1999
IEEE
15 years 7 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...
147
Voted
HASE
1996
IEEE
15 years 7 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...
113
click to vote
KR
1989
Springer
15 years 7 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 ...
125
Voted
ITP
2010
15 years 7 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...