14169 search results - page 2448 / 2834 » Tabular application development |
178
click to vote
ATAL
2003
Springer
16 years 23 days ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
187
click to vote
ICMI
2003
Springer
16 years 22 days ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
213
click to vote
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
220
click to vote
CCGRID
2002
IEEE
16 years 15 days ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
213
click to vote
DSN
2002
IEEE
16 years 15 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...