2153 search results - page 331 / 431 » From Requirements Models to Formal Specifications in B |
150
click to vote
CN
2000
15 years 6 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
159
click to vote
ELECTRONICMARKETS
2010
15 years 3 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
177
click to vote
IROS
2008
IEEE
16 years 21 days ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...
182
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
189
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...