6348 search results - page 477 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
150
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...
174
Voted
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
157
click to vote
AVI
2006
15 years 8 months ago
2006
The capability of accessing, analyzing and possibly updating patients' medical records from anywhere through a mobile device in the hands of clinicians and nurses is consider...
181
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...
185
click to vote
JOT
2008
15 years 6 months ago
2008
Often efforts to change techniques or processes are met by "But its working, why change now?" Usually the impetous for change comes from someone who does not believe it ...