4965 search results - page 361 / 993 » A Simple Abstraction for Data Modeling |
190
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
151
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper explores the suitability of UML techniques for defining hierarchical relationships in AMS (analogue and mixed-signal) circuit blocks, and XML for storing soft AMS IP de...
139
click to vote
PCM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. As the amount of digitalized contents increases rapidly, ‘security’ necessarily arises as one of the most important issues. The main distribution channel of digital c...
157
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
174
click to vote
WSCG
2004
15 years 8 months ago
2004
3D scatterplots are an extension of the ubiquitous 2D scatterplots that is conceptually simple, but so far proved hard to use in practice. But by combining them with a state-of-th...