1522 search results - page 168 / 305 » Practical Exception Specifications |
134
click to vote
JUCS
2002
15 years 1 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
107
click to vote
ENTCS
2008
15 years 15 days ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
123
click to vote
ACMDIS
2010
ACM
14 years 12 months ago
2010
ACM
Ideation Decks is a project that explores the development of a methodological tool for design ideation. It involves the creation and use of bespoke project-specific card based sys...
117
click to vote
ICDIM
2010
IEEE
14 years 12 months ago
2010
IEEE
Funded as part of the `Network Enabled Platforms' program the Health Services Virtual Organization (HSVO) Project has developed a network-enabled platform (NEP) consisting of...
118
click to vote
ICMLC
2010
Springer
14 years 12 months ago
2010
Springer
: Portuguese is specifically a difficult language with luxuriant tenses, and second language acquisition (SLA) is regarded as highly variable. Many (Chinese) students who learn Por...