3828 search results - page 627 / 766 » Proof-Based System Engineering Using a Virtual System Model |
102
Voted
ISF
2002
15 years 2 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...
227
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
115
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
123
Voted
ROBOCOMM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
108
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...