4841 search results - page 383 / 969 » On dynamic feature location |
187
click to vote
ICWL
2009
Springer
16 years 2 months ago
2009
Springer
In online learning, communities can help to enhance learning. However, because of the dynamic nature of communities, attaining and sustaining these communities can be difficult. On...
198
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Software that runs in the network environment is facing with many challenges. One of them is the dynamic feature of the network. To keep the quality of service, the service entity...
184
click to vote
TACAS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
231
Voted
ICDCS
2002
IEEE
16 years 16 days ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
237
click to vote
LOPSTR
2001
Springer
16 years 19 hour ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...