1522 search results - page 168 / 305 » Practical Exception Specifications |
141
Voted
JUCS
2002
15 years 2 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...
116
Voted
ENTCS
2008
15 years 1 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...
133
Voted
ACMDIS
2010
ACM
15 years 19 days 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...
127
Voted
ICDIM
2010
IEEE
15 years 17 days 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...
124
Voted
ICMLC
2010
Springer
15 years 17 days 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...