2509 search results - page 180 / 502 » Developing Adaptable Components Using Dynamic Languages |
120
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Agents in open and dynamic environments face the challenge of uncertainty while interacting with others to achieve their goals. They face quick and unforeseen changes to the behavi...
101
Voted
DOCENG
2010
ACM
15 years 3 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
120
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
129
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
108
Voted
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
In the past decade parallel disk systems have been highly scalable and able to alleviate the problem of disk I/O bottleneck, thereby being widely used to support a wide range of d...