5818 search results - page 1107 / 1164 » A reasonable Semantic Web |
140
click to vote
JODS
2007
15 years 1 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
100
Voted
ENTCS
1998
15 years 1 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
135
Voted
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
130
Voted
ECEASST
2010
14 years 8 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
152
Voted
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...