9974 search results - page 1404 / 1995 » Software Interconnection Models |
195
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
196
click to vote
CODES
2011
IEEE
14 years 7 months ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...
200
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
247
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
232
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...