254 search results - page 7 / 51 » Deriving test plans from architectural descriptions |
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
COMCOM
2007
13 years 9 months ago
2007
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
QUACON
2009
Springer
14 years 4 months ago
2009
Springer
Open architectures demand for a federation of data from different context providers, which nearly always will be inconsistent to a certain degree. We present an approach for the ev...
BMCBI
2006
13 years 10 months ago
2006
Background: Cellular metabolism can be characterized by networks of enzymatic reactions and transport processes capable of supporting cellular life. Our aim is to find evolutionar...
ASPLOS
2004
ACM
14 years 3 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...