10159 search results - page 485 / 2032 » System Design Validation Using Formal Models |
149
click to vote
HICSS
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
136
Voted
DAC
2000
ACM
16 years 6 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
174
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
168
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
234
click to vote
ICOODB
2010
15 years 2 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...