3719 search results - page 503 / 744 » RACER System Description |
198
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
176
click to vote
PRIMA
2001
Springer
15 years 11 months ago
2001
Springer
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
187
click to vote
MOBICOM
1999
ACM
15 years 11 months ago
1999
ACM
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
171
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
162
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...