6455 search results - page 984 / 1291 » Research problems |
153
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
137
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
173
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
213
click to vote
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
170
click to vote
GCSE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...