6960 search results - page 188 / 1392 » Continuity Analysis of Programs |
134
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
109
Voted
COMPCON
1995
IEEE
15 years 7 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
159
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
111
Voted
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
116
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
The structure tensor yields an excellent characterization of the local dimensionality and the corresponding orientation for simple neighborhoods, i.e. neighborhoods exhibiting a s...