3172 search results - page 13 / 635 » Combining Specification Techniques for Processes, Data and T... |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The first part of our work is connected with the analysis of typical random variables for the specific human-initiated process. We study the data characterizing editorial work wit...
APSEC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
— Web usage mining exploits data mining techniques to discover valuable information from navigation behavior of World Wide Web (WWW) users. The required information is captured b...
COMPSEC
2008
13 years 8 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...