1689 search results - page 327 / 338 » Empirical Methodologies in Software Engineering |
116
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
104
click to vote
INTERACTION
2009
ACM
15 years 5 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
122
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
ALMOB
2006
14 years 11 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...