361 search results - page 67 / 73 » A compositional approach to statecharts semantics |
BMCBI
2008
13 years 8 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
ICDS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
PEPM
1999
ACM
14 years 25 days ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...