1781 search results - page 41 / 357 » Visualizing program execution using user abstractions |
GCC
2003
Springer
14 years 24 days ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
CP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
HICSS
2002
IEEE
14 years 16 days ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
RAID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this demo description, we present Konduit, a desktopbased platform for visual programming with RDF data. Based on the idea of the semantic desktop, non-technical users...