1326 search results - page 32 / 266 » Semantic Coherence in Software Engineering |
ICSE
2004
IEEE-ACM
14 years 1 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
TCCI
2010
13 years 2 months ago
2010
Abstract. A semantically-linked web of electronic information
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...