4258 search results - page 264 / 852 » Languages and Interactive Software Development |
166
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
183
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
200
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
161
click to vote
APPINF
2003
15 years 8 months ago
2003
We describe an approach for building and testing software for ubiquitous computing. The approach provides application-level emulators of ubiquitous devices. Since each emulator is...
172
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...