624 search results - page 70 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
ESEC
1995
Springer
14 years 9 days ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
We describe a method for producing a smooth, stabilized
video from the shaky input of a hand-held light field video camera—
specifically, a small camera array. Traditional stab...
ASE
2006
13 years 8 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...