4476 search results - page 706 / 896 » Modeling software architectures in the Unified Modeling Lang... |
165
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
190
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
187
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
High-speed serial network interfaces are gaining wide use in connecting multiple processors and peripherals in modern embedded systems, thanks to their size advantage and power ef...
153
click to vote
ECIS
2004
15 years 8 months ago
2004
The lack of trust amongst consumers and concerns about disclosing personal information are commonly seen as a major impediment to the growth of e-commerce. This is a consequence o...
173
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...