7225 search results - page 241 / 1445 » Software is data too |
137
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
150
Voted
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...
160
Voted
MSE
2002
IEEE
15 years 10 months ago
2002
IEEE
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
174
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
153
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...