2065 search results - page 207 / 413 » P systems applications to systems biology |
179
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
194
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
175
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Applications using TCP, such as web-browsers, ftp, and various P2P programs, dominate most of the Internet traffic today. In many cases the last-hop access links are bottlenec...
155
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
196
click to vote
IS
2007
15 years 6 months ago
2007
Contemporary information systems (e.g., WfM, ERP, CRM, SCM, and B2B systems) record business events in so-called event logs. Business process mining takes these logs to discover p...