Sciweavers

2255 search results - page 305 / 451
» High Assurance Software Systems
Sort
View
SBACPAD
2003
IEEE
121views Hardware» more  SBACPAD 2003»
15 years 11 months ago
Optimizing Packet Capture on Symmetric Multiprocessing Machines
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...
Gianluca Varenni, Mario Baldi, Loris Degioanni, Fu...
CONTEXT
2003
Springer
15 years 11 months ago
A Generic Framework for Context-Based Distributed Authorizations
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
Ghita Kouadri Mostéfaoui, Patrick Bré...
IPPS
2002
IEEE
15 years 11 months ago
Compile/Run-Time Support for Thread Migration
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
Hai Jiang, Vipin Chaudhary
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 11 months ago
Warehousing Workflow Data: Challenges and Opportunities
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
Angela Bonifati, Fabio Casati, Umeshwar Dayal, Min...
ASPDAC
1999
ACM
98views Hardware» more  ASPDAC 1999»
15 years 10 months ago
Generation of Interpretive and Compiled Instruction Set Simulators
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
Rainer Leupers, Johann Elste, Birger Landwehr