Sciweavers

5326 search results - page 748 / 1066
» On what we can ensure
Sort
View
SCESM
2006
ACM
257views Algorithms» more  SCESM 2006»
16 years 19 days ago
Test ready UML statechart models
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh S...
AGILEDC
2005
IEEE
16 years 10 days ago
Staying Agile in Government Software Projects
Can government software projects be agile? What do Scrum and XP practices have to offer in this regulated and highly political environment? In this experience report, I will discu...
Barg Upender
183
Voted
RTCSA
2005
IEEE
16 years 8 days ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
WMTE
2005
IEEE
16 years 8 days ago
'Location is not enough!': an Empirical Study of Location-Awareness in Mobile Collaboration
: There is an ever growing number of mobile learning applications based on location-awareness, However, there is still a lack of information concerning how it might impact socio-co...
Nicolas Nova, Fabien Girardin, Pierre Dillenbourg
KCAP
2005
ACM
16 years 8 days ago
Matching utterances to rich knowledge structures to acquire a model of the speaker's goal
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
Peter Z. Yeh, Bruce W. Porter, Ken Barker