4476 search results - page 519 / 896 » Modeling software architectures in the Unified Modeling Lang... |
189
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
212
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
189
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
169
click to vote
UM
2010
Springer
15 years 12 months ago
2010
Springer
The increasing trend towards powerful mobile phones opens many possibilities for valuable personalised services to be available on the phone. Client-side personalisation for these ...
205
Voted
JVA
2006
IEEE
16 years 27 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...