1982 search results - page 375 / 397 » Parametricity and dependent types |
DIAGRAMS
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
ER
2006
Springer
14 years 11 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
IMC
2007
ACM
14 years 11 months ago
2007
ACM
This work was motivated by a discussion that two of the coauthors (computer science professors) had with the other coauthor (a law professor and a former computer crime Trial Atto...
ASUNAM
2010
IEEE
14 years 11 months ago
2010
IEEE
Problem resolution is a key issue in the IT service industry. A large service provider handles, on daily basis, thousands of tickets that report various types of problems from its...
COMMA
2008
14 years 11 months ago
2008
Abstract. Much work using argumnentation frameworks treats arguments as enbstract, related by a uniform attack relation which always succeeds unless the attacker can itself be defe...