9974 search results - page 1303 / 1995 » Software Interconnection Models |
205
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
184
click to vote
FSEN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
181
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
229
click to vote
SEKE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
191
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...