1285 search results - page 104 / 257 » Structural Operators for Modeling 3-Manifolds |
101
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
ER
2007
Springer
15 years 6 months ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
83
Voted
JCS
2002
15 years 10 days ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
WISEC
2009
ACM
15 years 7 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
128
click to vote
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...