Sciweavers

1407 search results - page 203 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
15 years 11 months ago
Tactical UGV navigation and logistics planning
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
Talib S. Hussain, Daniel Cerys, David J. Montana, ...
CHI
1999
ACM
15 years 10 months ago
The Reader's Helper: A Personalized Document Reading Environment
Over the last two centuries, reading styles have shifted away from the reading of documents from beginning to end and toward the skimming of documents in search of relevant inform...
Jamey Graham
CODES
2007
IEEE
16 years 11 days ago
ESL design and HW/SW co-verification of high-end software defined radio platforms
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
A. C. H. Ng, J. W. Weijers, Miguel Glassee, Thomas...
CLIMA
2011
14 years 5 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
DBPL
1989
Springer
165views Database» more  DBPL 1989»
15 years 10 months ago
Support for Data-Intensive Applications: Conceptual Design and Software Development
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
Alexander Borgida, John Mylopoulos, Joachim W. Sch...