615 search results - page 76 / 123 » Automated Test Case Generation from Dynamic Models |
MOBISYS
2006
ACM
14 years 7 months ago
2006
ACM
Location determination of mobile users within a building has attracted much attention lately due to its many applications in mobile networking including network intrusion detectio...
HT
2009
ACM
14 years 2 months ago
2009
ACM
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
BMCBI
2010
13 years 8 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
ICLP
2009
Springer
14 years 2 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...