5639 search results - page 711 / 1128 » Timed Abstract Non-interference |
155
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
139
Voted
ASM
2000
ASM
15 years 10 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
145
click to vote
PDIS
1993
IEEE
15 years 10 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
170
Voted
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
187
Voted
ISPE
2003
15 years 7 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...