Sciweavers

15777 search results - page 2605 / 3156
» Software Engineering
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
WSC
1998
15 years 8 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...
ATAL
2009
Springer
15 years 8 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
BCSHCI
2009
15 years 8 months ago
Modelling perception using image processing algorithms
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...
Pradipta Biswas, Peter Robinson
GECCO
2008
Springer
112views Optimization» more  GECCO 2008»
15 years 8 months ago
Handling dynamic data structures in search based testing
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
Kiran Lakhotia, Mark Harman, Phil McMinn
« Prev « First page 2605 / 3156 Last » Next »