1522 search results - page 168 / 305 » Practical Exception Specifications |
189
click to vote
JUCS
2002
15 years 6 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...
160
click to vote
ENTCS
2008
15 years 4 months 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...
182
click to vote
ACMDIS
2010
ACM
15 years 4 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...
168
click to vote
ICDIM
2010
IEEE
15 years 4 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...
170
click to vote
ICMLC
2010
Springer
15 years 4 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...