1175 search results - page 138 / 235 » Abstract computability and algebraic specification |
AI
2008
Springer
13 years 9 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
BMCBI
2008
13 years 9 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
DSVIS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
CPAIOR
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
AINA
2010
IEEE
14 years 8 days ago
2010
IEEE
Abstract--In this paper, we present new algorithms for matching Web services described in YASA4WSDL (YASA for short). We have already defined YASA that overcomes some issues missin...